Necessity and sufficiency

#	Item
11	On Correctness of Imperative Programs — Precondition Calculation (DRAFT) R.D. Arthan 10 December 2006 Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2006-12-10 08:21:16 Functional predicate Model theory Predicate Programming language Necessity and sufficiency Logic Mathematical logic Mathematics
12	RTF Document Add to Reading List Source URL: www.ogtr.gov.au Language: English - Date: 2015-03-06 01:23:32 Logic Knowledge Language Compliance Genetically modified organism Necessity and sufficiency
13	Microsoft Word - necessary Add to Reading List Source URL: www2.edc.org Language: English - Date: 2001-10-04 17:17:00 Necessity and sufficiency Technical terminology Algebraic logic Functions and mappings Boolean algebra Function Mathematics Conditionals Dichotomies